CORE

馃嚭馃嚘聽聽 make metadata, not war

    24 research outputs found

    Modeling and Specification of Distributed Timed Systems

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    Repository of the University of Namur

    Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    Repository of the University of Namur

    Modeling and Specification of Distributed Timed Systems

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    Repository of the University of Namur

    Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    Repository of the University of Namur

    An Alternative Semantics for Timed Automata with Independent Clocks

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    Repository of the University of Namur

    An Alternative Semantics for Timed Automata with Independent Clocks

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    Repository of the University of Namur

    Revisi贸n de algunos modelos de programaci贸n concurrente por restricciones y sus aplicaciones

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    Repository of the University of Namur

    Refinement & Synthesis - Distributed Event Clock Automata

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    Repository of the University of Namur

    Revisi贸n de algunos modelos de programaci贸n concurrente por restricciones y sus aplicaciones

    Author
    Publication venue
    Publication date
    Field of study
    Get PDF
    Repository of the University of Namur

    Multi-timed Bisimulation for Distributed Timed Automata

    Author
    Publication venue
    'Springer Science and Business Media LLC'
    Publication date
    Field of study
    Get PDF
    Repository of the University of Namur
    corecore